Predictive analysis for race detection in software-defined networks

A Dynamic Algorithm for Loop Detection in Software Defined Networks

A potential problem in computer networks is the existence of loops, which are cyclical paths through the network’s switches that can cause some packets to never leave the network. We present a dynamic algorithm built on the Header Space Analysis of Kazemian et. al. [1] which allows the detection of loops in software defined networks — such as ones created using OpenFlow [3]— over a sequence of ...

An Online Dynamic Analysis for Sound Predictive Data Race Detection

Dynamic analyses struggle to detect all of a program’s dataraces, since some data races do not manifest in observedexecutions. Predictive analyses detect true data races thatexist only in other, unobserved executions. Smaragdakiset al. introduce the causally-precedes (CP) relation and apolynomial-time analysis for sound (no false races) predic-tive data race detection. H...

Early Detection of DDoS Attacks in Software Defined Networks Controller

Static Differential Program Analysis for Software-Defined Networks

Networks are increasingly controlled by software, and bad updates can bring down an entire network. Network operators therefore need tools to determine the impact of changes. To address this, we present static differential analysis of software-defined network (SDN) controller programs. Given two versions of a controller program our tool, Chimp, builds atop Alloy to produce a set of concrete sce...

Software Defined Networks

In previous chapters we have seen why SDN is necessary and what preceded the actual advent of SDN in the research and industrial communities. In this chapter we provide an overview of how SDN actually works, including discussion of the basic components of a Software Defined Networking system, their roles, and how they interact with one another. In the first part of this chapter we focus on the ...